perm filename HEURI[S84,JMC] blob sn#752012 filedate 1984-04-27 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	heuri[s84,jmc]		Formalization of heuristics
C00003 ENDMK
CāŠ—;
heuri[s84,jmc]		Formalization of heuristics

Information to prove that a heuristics work.

Prove that moving a block to final position when this can be
done is optimal.  Proving that moving a block to the table
that must eventually move to the table is optimal.